5 results
CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 12 August 2022, pp. 1-23
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 13 September 2019, pp. 459-482
- Print publication:
- September 2020
-
- Article
- Export citation
ON FLATTENING ELIMINATION RULES
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 23 January 2014, pp. 60-72
- Print publication:
- March 2014
-
- Article
- Export citation
Failure of Interpolation in Constant Domain Intuitionistic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 937-950
- Print publication:
- September 2013
-
- Article
- Export citation
MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 19 March 2013, pp. 348-365
- Print publication:
- June 2013
-
- Article
- Export citation